Avant-propos. Prose d’idées, prose de pensée, un bilan

Dynamic AOP with PROSE

Dynamic Aspect-Oriented Programming (d-AOP) is an important tool to implement adaptation in a wide variety of applications. In particular, large distributed infrastructures, middleware, and pervasive computing environments can greatly benefit from d-AOP to adapt software systems at run time. In this paper, we discuss the design of PROSE, an open source, generic platform for software adaptation....

Prose I/o Implementation

ions seem to be simultaneously the principal goal and bane of modern computer science[20]. This is particularly true in modern systems in which the system software stack has become a monumental tower of babel. At its foundation we have the virtualization engine or hypervisor, multiplexing system resources between multiple logical partitions. Each of these logical partitions is running an operat...

Avant Propos

Avant-propos.

Kantorovitch's theorem gives su cient conditions for the convergence of Newton's method. We presenta full formalization of this theorem in the case of a real function. The work is accomplished inside the Coqproof assistant and it is based on the Reals library provided by the theorem prover. For the general case ofthe theorem we rst describe a way to represent concepts from multivari...

Writing readable prose

T he purpose of a scientific paper is to communicate results and analysis to the wider scientific community. The better a paper is written, the more readers it will attract and the more citations it is likely to receive. This alone should be sufficient to convince any scientist to put significant effort into his or her writing; unfortunately, this is rarely the case. More than a decade ago, Mar...